\def\ppversion/{6.0}
\def\isodevrsn/{7.0}
\def\ppdate/{December 20, 1991}
\def\uktarfile/{\verb|pp/pp-6.tar|}
\def\tarfile/{\verb|pp-6.tar|}
\def\tarsize/{4Mb}
\def\compresssize/{3Mb}
\def\compressfile/{\verb|pp-6.tar.Z|}
\def\ukcompressfile/{\verb|<PP>pp-6.tar.Z|}
\def\ukpsfile/{\verb|pp-6-ps-a4.tar.Z|}
\def\psfile/{\verb|pp-6-ps-us.tar.Z|}
\def\pssize/{1.5MB}
